Definable Additive Categories
نویسندگان
چکیده
This is essentially the talk I gave on definable additive categories; I define these categories, say where they came from, describe some of what is around them and then point out the 2-category which
منابع مشابه
Categories of imaginaries for definable additive categories
An additive category is definable if it is equivalent to a definable subcategory of a module category Mod-R, meaning a full subcategory which is closed under direct products, direct limits (= directed colimits) and pure subobjects. Such a category D has associated to it a canonical model theory for its objects in the sense that each object D ∈ D becomes a structure for the associated language; ...
متن کاملAbelian categories and definable additive categories
2 The category of small abelian categories and exact functors 4 2.1 Categorical properties of ABEX . . . . . . . . . . . . . . . . . . . 5 2.2 Pullbacks in ABEX . . . . . . . . . . . . . . . . . . . . . . . . . . 9 2.3 ABEX is finitely accessible . . . . . . . . . . . . . . . . . . . . . . 12 2.4 Abelian categories as schemes . . . . . . . . . . . . . . . . . . . . 16 2.4.1 The functor of point...
متن کاملOn Continuous Functions Definable in Expansions of the Ordered Real Additive Group
Let R be an expansion of the ordered real additive group. Then one of the following holds: either every continuous function [0, 1] → R definable in R is C2 on an open dense subset of [0, 1], or every C2 function [0, 1] → R definable in R is affine, or every continuous function [0, 1] → R is definable in R. If R is NTP2 or more generally does not interpret a model of the monadic second order the...
متن کامل